<html>
<head><meta charset="utf-8"><title>I-prioritize #59326 Type mismatching cased by duplicate asso · t-compiler/wg-prioritization · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/index.html">t-compiler/wg-prioritization</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2359326.20Type.20mismatching.20cased.20by.20duplicate.20asso.html">I-prioritize #59326 Type mismatching cased by duplicate asso</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="201151292"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2359326%20Type%20mismatching%20cased%20by%20duplicate%20asso/near/201151292" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2359326.20Type.20mismatching.20cased.20by.20duplicate.20asso.html#201151292">(Jun 17 2020 at 14:46)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="2403">@WG-prioritization</span> issue <a href="https://github.com/rust-lang/rust/issues/59326">#59326</a> has been requested for prioritization.</p>



<a name="201176651"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2359326%20Type%20mismatching%20cased%20by%20duplicate%20asso/near/201176651" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2359326.20Type.20mismatching.20cased.20by.20duplicate.20asso.html#201176651">(Jun 17 2020 at 17:49)</a>:</h4>
<p>I think we should tag as <code>E-needs-mcve</code> and <code>E-needs-bisection</code> and ping the cleanup crew</p>



<a name="201176677"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2359326%20Type%20mismatching%20cased%20by%20duplicate%20asso/near/201176677" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2359326.20Type.20mismatching.20cased.20by.20duplicate.20asso.html#201176677">(Jun 17 2020 at 17:49)</a>:</h4>
<p>As for the priority I'd say <code>P-medium</code> again</p>



<a name="201189160"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2359326%20Type%20mismatching%20cased%20by%20duplicate%20asso/near/201189160" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2359326.20Type.20mismatching.20cased.20by.20duplicate.20asso.html#201189160">(Jun 17 2020 at 19:29)</a>:</h4>
<p>hey <span class="user-mention" data-user-id="255061">@LeSeulArtichaut</span> why do you think <code>P-medium</code>?</p>



<a name="201189252"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2359326%20Type%20mismatching%20cased%20by%20duplicate%20asso/near/201189252" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2359326.20Type.20mismatching.20cased.20by.20duplicate.20asso.html#201189252">(Jun 17 2020 at 19:30)</a>:</h4>
<p>well would need to investigate if that code should work or not</p>



<a name="201189292"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2359326%20Type%20mismatching%20cased%20by%20duplicate%20asso/near/201189292" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2359326.20Type.20mismatching.20cased.20by.20duplicate.20asso.html#201189292">(Jun 17 2020 at 19:30)</a>:</h4>
<p>but if it should work I'd bump the priority</p>



<a name="201189313"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2359326%20Type%20mismatching%20cased%20by%20duplicate%20asso/near/201189313" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2359326.20Type.20mismatching.20cased.20by.20duplicate.20asso.html#201189313">(Jun 17 2020 at 19:30)</a>:</h4>
<p>to be honest, I was doing something else and didn't properly read the code</p>



<a name="201189520"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2359326%20Type%20mismatching%20cased%20by%20duplicate%20asso/near/201189520" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2359326.20Type.20mismatching.20cased.20by.20duplicate.20asso.html#201189520">(Jun 17 2020 at 19:32)</a>:</h4>
<blockquote>
<p>The error happened when I'm doing the update from 1.32.0 to 1.33.0 so it's clearly a regression.</p>
</blockquote>



<a name="201189541"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2359326%20Type%20mismatching%20cased%20by%20duplicate%20asso/near/201189541" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2359326.20Type.20mismatching.20cased.20by.20duplicate.20asso.html#201189541">(Jun 17 2020 at 19:33)</a>:</h4>
<p>I don’t know if that means the code was accepted before that date</p>



<a name="201189943"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2359326%20Type%20mismatching%20cased%20by%20duplicate%20asso/near/201189943" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2359326.20Type.20mismatching.20cased.20by.20duplicate.20asso.html#201189943">(Jun 17 2020 at 19:36)</a>:</h4>
<p>it was accepted I think</p>



<a name="201189962"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2359326%20Type%20mismatching%20cased%20by%20duplicate%20asso/near/201189962" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2359326.20Type.20mismatching.20cased.20by.20duplicate.20asso.html#201189962">(Jun 17 2020 at 19:36)</a>:</h4>
<p>but what I didn't check is if it should have been accepted or not</p>



<a name="201190263"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2359326%20Type%20mismatching%20cased%20by%20duplicate%20asso/near/201190263" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2359326.20Type.20mismatching.20cased.20by.20duplicate.20asso.html#201190263">(Jun 17 2020 at 19:39)</a>:</h4>
<p>Oh...</p>
<blockquote>
<p>This code compiles in 1.32.0 but not in 1.33.0</p>
</blockquote>



<a name="201190285"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2359326%20Type%20mismatching%20cased%20by%20duplicate%20asso/near/201190285" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2359326.20Type.20mismatching.20cased.20by.20duplicate.20asso.html#201190285">(Jun 17 2020 at 19:39)</a>:</h4>
<p>Missed that part :D</p>



<a name="201190346"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2359326%20Type%20mismatching%20cased%20by%20duplicate%20asso/near/201190346" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2359326.20Type.20mismatching.20cased.20by.20duplicate.20asso.html#201190346">(Jun 17 2020 at 19:40)</a>:</h4>
<p>still it may have been something that should have never compiled</p>



<a name="201190378"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2359326%20Type%20mismatching%20cased%20by%20duplicate%20asso/near/201190378" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2359326.20Type.20mismatching.20cased.20by.20duplicate.20asso.html#201190378">(Jun 17 2020 at 19:40)</a>:</h4>
<p>unsure</p>



<a name="201190456"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2359326%20Type%20mismatching%20cased%20by%20duplicate%20asso/near/201190456" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2359326.20Type.20mismatching.20cased.20by.20duplicate.20asso.html#201190456">(Jun 17 2020 at 19:41)</a>:</h4>
<p><code>build_server(|| |i: i32| make_server(i, MyServiceImpl {}))</code></p>



<a name="201190470"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2359326%20Type%20mismatching%20cased%20by%20duplicate%20asso/near/201190470" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2359326.20Type.20mismatching.20cased.20by.20duplicate.20asso.html#201190470">(Jun 17 2020 at 19:41)</a>:</h4>
<p><span aria-label="cry" class="emoji emoji-1f622" role="img" title="cry">:cry:</span></p>



<a name="201190503"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2359326%20Type%20mismatching%20cased%20by%20duplicate%20asso/near/201190503" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2359326.20Type.20mismatching.20cased.20by.20duplicate.20asso.html#201190503">(Jun 17 2020 at 19:41)</a>:</h4>
<p>Yeah I think we'll have to wait for an MCVE?</p>



<a name="201190587"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2359326%20Type%20mismatching%20cased%20by%20duplicate%20asso/near/201190587" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2359326.20Type.20mismatching.20cased.20by.20duplicate.20asso.html#201190587">(Jun 17 2020 at 19:42)</a>:</h4>
<p>We can probably label it as <code>P-high</code> to keep an eye on it</p>



<a name="201190978"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2359326%20Type%20mismatching%20cased%20by%20duplicate%20asso/near/201190978" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2359326.20Type.20mismatching.20cased.20by.20duplicate.20asso.html#201190978">(Jun 17 2020 at 19:46)</a>:</h4>
<p>well but seems related to <a href="https://github.com/rust-lang/rust/issues/59324">#59324</a></p>



<a name="201191023"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2359326%20Type%20mismatching%20cased%20by%20duplicate%20asso/near/201191023" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2359326.20Type.20mismatching.20cased.20by.20duplicate.20asso.html#201191023">(Jun 17 2020 at 19:46)</a>:</h4>
<p>which is <code>P-medium</code> :)</p>



<a name="201191031"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2359326%20Type%20mismatching%20cased%20by%20duplicate%20asso/near/201191031" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2359326.20Type.20mismatching.20cased.20by.20duplicate.20asso.html#201191031">(Jun 17 2020 at 19:46)</a>:</h4>
<p>should that one be <code>P-medium</code>?</p>



<a name="201191078"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2359326%20Type%20mismatching%20cased%20by%20duplicate%20asso/near/201191078" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2359326.20Type.20mismatching.20cased.20by.20duplicate.20asso.html#201191078">(Jun 17 2020 at 19:46)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/59324">#59324</a> didn't compile IIRC</p>



<a name="201191102"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2359326%20Type%20mismatching%20cased%20by%20duplicate%20asso/near/201191102" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2359326.20Type.20mismatching.20cased.20by.20duplicate.20asso.html#201191102">(Jun 17 2020 at 19:47)</a>:</h4>
<p><a href="https://godbolt.org/z/pMryL_">https://godbolt.org/z/pMryL_</a></p>



<a name="201191198"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2359326%20Type%20mismatching%20cased%20by%20duplicate%20asso/near/201191198" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2359326.20Type.20mismatching.20cased.20by.20duplicate.20asso.html#201191198">(Jun 17 2020 at 19:47)</a>:</h4>
<p>ohh right</p>



<a name="201191324"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2359326%20Type%20mismatching%20cased%20by%20duplicate%20asso/near/201191324" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2359326.20Type.20mismatching.20cased.20by.20duplicate.20asso.html#201191324">(Jun 17 2020 at 19:48)</a>:</h4>
<p>Issue <a href="https://github.com/rust-lang/rust/issues/59326">#59326</a>'s prioritization request has been removed.</p>



<a name="201268669"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2359326%20Type%20mismatching%20cased%20by%20duplicate%20asso/near/201268669" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2359326.20Type.20mismatching.20cased.20by.20duplicate.20asso.html#201268669">(Jun 18 2020 at 13:39)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="2403">@WG-prioritization</span> <a href="https://github.com/rust-lang/rust/issues/59326">#59326</a> has been nominated for discussion in <code>T-compiler</code> meeting.</p>



<a name="201998196"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2359326%20Type%20mismatching%20cased%20by%20duplicate%20asso/near/201998196" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2359326.20Type.20mismatching.20cased.20by.20duplicate.20asso.html#201998196">(Jun 25 2020 at 17:19)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/59326">#59326</a>'s nomination has been removed.</p>



<a name="201998199"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2359326%20Type%20mismatching%20cased%20by%20duplicate%20asso/near/201998199" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2359326.20Type.20mismatching.20cased.20by.20duplicate.20asso.html#201998199">(Jun 25 2020 at 17:19)</a>:</h4>
<p>:D</p>



<a name="201998962"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2359326%20Type%20mismatching%20cased%20by%20duplicate%20asso/near/201998962" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2359326.20Type.20mismatching.20cased.20by.20duplicate.20asso.html#201998962">(Jun 25 2020 at 17:25)</a>:</h4>
<p>right <span aria-label="+1" class="emoji emoji-1f44d" role="img" title="+1">:+1:</span></p>



<a name="201998977"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2359326%20Type%20mismatching%20cased%20by%20duplicate%20asso/near/201998977" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2359326.20Type.20mismatching.20cased.20by.20duplicate.20asso.html#201998977">(Jun 25 2020 at 17:25)</a>:</h4>
<p>there's a PR already</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>